Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part II (Lecture Notes in Computer Science)
by Hana Chockler, Georg Weissenbacher
ISBN 13: 9783319961415
Format: Paperback Publisher: Springer International Publishing AG Published: 30 Sep 2018
Save for later
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Part I (Lecture Notes in Computer Science)
ISBN 13: 9783319961446
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
